Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
141	TICS-1168; No. of Pages 6 Review The acquisition of Boolean concepts Geoffrey P. Goodwin1 and Philip N. Johnson-Laird2,3 Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-02-21 16:45:04 Cognitive science Cognitive psychology Information science Mental model Scientific modeling Thought Concept learning Analogy Boolean algebra Ethology Mind Philosophy of mind
142	Synthetic Reasoning and the Reverse Engineering of Boolean Circuits N. Y. Louis Lee ([removed]) Department of Psychology, Princeton University Princeton, NJ[removed]USA P. N. Johnson-Laird (phil@princeton Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:47 Cognitive science Human–machine interaction Switch Mental model Network switch Computational complexity theory Problem solving Ethology Mind Information
143	Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements Rani Qumsiyeh Maria S. Pera Add to Reading List Source URL: vldb.org Language: English - Date: 2011-11-23 01:03:10 Data management Computational linguistics Natural language processing Artificial intelligence applications Question answering Database normalization Boolean algebra Vector space model SQL Information science Information retrieval Science
144	SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-12 03:14:38 Model theory Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Structure Well-formed formula Boolean satisfiability problem Mathematics Theoretical computer science Logic
145	Efficient Querying of Inconsistent Databases with Binary Integer Programming ∗ Phokion G. Kolaitis Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-06-29 06:26:31 Conjunctive query Theoretical computer science Boolean conjunctive query Relational database SQL FO Stable model semantics Relational model Database theory Data management Computing
146	CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:11 Boolean algebra Diagrams Binary decision diagram Model checking Datalog Monica S. Lam Algorithm Pointer Stack Computing Software engineering Programming language theory
147	Mem Cogn[removed]:266–279 DOI[removed]s13421[removed]Reasoning from connectives and relations between entities Robert Mackiewicz & Philip N. Johnson-Laird Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:07 Propositional calculus Reasoning Boolean algebra Binary operations Logical connectives Logical biconditional Mental model Validity Inference Logic Science Knowledge
148	c 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promo Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-04-14 05:36:42 Diagrams Algorithm Theoretical computer science Binary decision diagram Economic model Model checking Function Mathematics Boolean algebra Mathematical logic
149	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
150	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-04-01 19:35:04 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model

UPDATE